Unpredication, unscheduling, unspeculation: reverse engineering Itanium executables
نویسندگان
چکیده
منابع مشابه
Unscheduling, Unpredication, Unspeculation: Reverse Engineering Itanium Executables
EPIC (Explicitly Parallel Instruction Computing) architectures, exemplified by the Intel Itanium, support a number of advanced architectural features, such as explicit instruction-level parallelism, instruction predication, and speculative loads from memory. However, compiler optimizations to take advantage of such architectural features can profoundly restructure the program’s code, making it ...
متن کاملOptimizing and Reverse Engineering Itanium Binaries
EPIC (Explicitly Parallel Instruction Computing) architectures, such as the Intel IA-64 (Itanium), address common bottlenecks in modern architectures by supporting novel features such as explicit instruction-level parallelism, predicated instructions, and control and data speculation. While these features promise to make code more efficient, the fact that these new architectural features are vi...
متن کاملUnspeculation
Modern architectures, such as the Intel Itanium, support speculation, a hardware mechanism that allows the early execution of expensive operations—possibly even before it is known whether the results of the operation are needed. While such speculative execution can improve execution performance considerably, it requires a significant amount of complex support code to deal with and recover from ...
متن کاملReverse Engineering is Reverse Forward Engineering
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering perspective, we gain the insight that much of this difficulty is caused by design decisions made during system development. Such decisions “hide” the program functionality and performance requirements in the final system ...
متن کاملReverse-engineering Reverse Mathematics
An important open problem in Reverse Mathematics ([16, 25]) is the reduction of the first-order strength of the base theory from IΣ1 to I∆0 + exp. The system ERNA, a version of Nonstandard Analysis based on the system I∆0 + exp, provides a partial solution to this problem. Indeed, Weak König’s lemma and many of its equivalent formulations from Reverse Mathematics can be ‘pushed down’ into ERNA,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2005
ISSN: 0098-5589
DOI: 10.1109/tse.2005.27